mechanical theorem proving
un. 机器证明
[网络] 定理机器证明；机器定理证明；定理的机器证明
热门查询
- spermatophore n. 精囊；[动] 精子包囊；精原细胞
- Feinstein [人名] 范斯坦
- Kassel 卡塞尔[德意志联邦共和国东部城市]
- graduate n. 研究生；毕业生 adj. 毕业的；研究生的 vt. 授予…学位；分等级；标上刻度 vi. 毕业；渐变
- gigabyte n. 十亿字节；十亿位组
- tugging v. 用力拉（tug的ing形式） n. 牵引感
- anarchist n. 无政府主义者 无政府主义的
- doi abbr. division operating income 操作; date of inquiry 问询日; dead of injuries 因伤而死; descent orbit insertion 下降轨道插入
- pointedly adv. 尖锐地；指向地
- fouled v. 污染的（foul的过去分词形式）；拥塞；粪污的
- goldmine n. 金矿；大财源；宝库 n. (Goldmine)人名；(法)戈德米纳
- brother n. 兄弟；同事；战友 int. 我的老兄！ n. (Brother)人名；(英)布拉泽
- ruine [医]路因碱
- runnel n. 小河；沟渠
- Gettysburg n. 葛底斯堡（美国一城市名）
- sexually adv. 性别地；两性之间地
- Beresford n. (Beresford)人名；(英、西)贝雷斯福德
- drilling n. 钻孔；训练，教练；演练 v. 钻孔；训练（drill的ing形式）
- Tock n. 托科鸟
- democratic adj. 民主的；民主政治的；大众的
考试词汇表
- the number of actual words
- the object of the exercise
- the optimum of application
- the other side of the coin
- the past future continuous
- the people's bank of china
- the picture of dorian gray
- the presentation of colors
- the president of a company
- the primate of all england
- the quality of the product
- the revolt in the seraglio
- the right distributive law
- the right end of the stick
- the right of first refusal
- the rose garden of salency
- the rough and the smooth s
- the rough s and the smooth
- the seventh-inning stretch
- the shade of the betrothed
